#include <stdio.h>
#include <stdlib.h>

int main( int argc, char *argv[], char *envp[] ) {
  printf( "Hello world!\n" );
  return 0;
}
